\section{Objectives}

To compare:
\begin{itemize}
	\item Performance (running time).
	\item Size of produced rewritings.
\end{itemize}